COMMENT ā VALID 00002 PAGES C REC PAGE DESCRIPTION C00001 00001 C00002 00002 \input rwflet C00003 ENDMK Cā; \input rwflet \rwflet \address Professor James H. Fetzer Department of Philosophy University of Minnesota Duluth, MN 55812 \body Dear Professor Fetzer: I am very stale on program verification, so I won't add to your collection. \closing Sincerely yours, Robert W. Floyd \endletter \end